$\forall$$a_{1}$,$a_{2}$,$b_{1}$,$b_{2}$:prop\{i:l\}. ($a_{1}$ $\Leftarrow\!\Rightarrow$ $a_{2}$) $\Rightarrow$ ($b_{1}$ $\Leftarrow\!\Rightarrow$ $b_{2}$) $\Rightarrow$ (($a_{1}$ c$\wedge$ $b_{1}$) $\Leftarrow\!\Rightarrow$ ($a_{2}$ c$\wedge$ $b_{2}$))